Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

runtest: ignore Emacs lock files (.#XXX) #688

Merged
merged 1 commit into from
Jan 17, 2025
Merged

runtest: ignore Emacs lock files (.#XXX) #688

merged 1 commit into from
Jan 17, 2025

Conversation

strub
Copy link
Member

@strub strub commented Jan 15, 2025

Fix #682

@strub strub self-assigned this Jan 15, 2025
@strub strub mentioned this pull request Jan 15, 2025
Closed
@strub strub force-pushed the runtest-ignore-emacs-lock-files branch from 2103a27 to a3708cd Compare January 15, 2025 19:24
@oskgo
Copy link
Contributor

oskgo commented Jan 16, 2025 •
edited
Loading

It doesn't seem to work, no. The .#Theory.ec files are still being checked.

I'm also having issues with the make nix-develop + make install process. Running make in the nix environment fails to produce an ec.native file and gives the following output:

make[1]: Entering directory '/Users/oskarg/Library/CloudStorage/OneDrive-NTNU/Code/EasyCrypt/easycrypt'
rm -f src/ec.exe ec.native
dune build --profile=dev
Command exited with code 1.              
-> required by _build/default/src/ec.exe
-> required by alias src/all
-> required by alias default
make[1]: *** [Makefile:33: build] Error 1
make[1]: Leaving directory '/Users/oskarg/Library/CloudStorage/OneDrive-NTNU/Code/EasyCrypt/easycrypt'

@strub strub force-pushed the runtest-ignore-emacs-lock-files branch from a3708cd to 6e0010c Compare January 16, 2025 17:15
@strub
Copy link
Member Author

strub commented Jan 16, 2025

It doesn't seem to work, no. The .#Theory.ec files are still being checked.

I should check my PR before submitting them... this is now solved.

@strub
Copy link
Member Author

strub commented Jan 16, 2025

I'm also having issues with the make nix-develop + make install process. Running make in the nix environment fails to produce an ec.native file and gives the following output:

make[1]: Entering directory '/Users/oskarg/Library/CloudStorage/OneDrive-NTNU/Code/EasyCrypt/easycrypt'
rm -f src/ec.exe ec.native
dune build --profile=dev
Command exited with code 1.              
-> required by _build/default/src/ec.exe
-> required by alias src/all
-> required by alias default
make[1]: *** [Makefile:33: build] Error 1
make[1]: Leaving directory '/Users/oskarg/Library/CloudStorage/OneDrive-NTNU/Code/EasyCrypt/easycrypt'

I'll have a look. Note that I updated the nix files yesterday.

@strub
Copy link
Member Author

strub commented Jan 16, 2025

I cannot reproduce the nix problem. The error that you get is a bit mysterious. Maybe a bad interaction between dune & OneDrive (looking at the path in your error message)

@oskgo
Copy link
Contributor

oskgo commented Jan 16, 2025 •
edited
Loading

I've moved easycrypt out of the OneDrive folder and still get the same error (with the path changed obv.)

Is there a way I can instrument the build to get more useful information?

The dune build almost reaches the end. From what I can tell with the progress bar the issue is with one of the final 5 out of ~1900.

As an additional datapoint I get the following output when I use make outside nix.

rm -f src/ec.exe ec.native
dune build --profile=dev
ld: warning: -undefined suppress is deprecated
ld: warning: -undefined suppress is deprecated
ld: warning: -undefined suppress is deprecated
ld: warning: -undefined suppress is deprecated
ld: warning: search path '/opt/local/lib' not found
ln -sf src/ec.exe ec.native            
codesign -f -s - src/ec.exe

@strub
Copy link
Member Author

strub commented Jan 16, 2025

What is your exact system?

@oskgo
Copy link
Contributor

oskgo commented Jan 16, 2025

I'm using an M1 Mac.

@strub
Copy link
Member Author

strub commented Jan 16, 2025

Try

dune build --profile=dev --verbose

@oskgo
Copy link
Contributor

oskgo commented Jan 16, 2025

The cause is probably towards the end (if it's there at all), but here is everything that fit in the buffer of my shell;

Click to Expand full log 
Running[514]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlHiAuto.cmo -c -impl src/phl/ecPhlHiAuto.ml)
Running[515]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlFun.cmo -c -impl src/phl/ecPhlFun.ml)
Running[516]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlHiCond.cmo -c -impl src/phl/ecPhlHiCond.ml)
Running[517]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlInline.cmo -c -impl src/phl/ecPhlInline.ml)
Running[518]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlLoopTx.cmo -c -impl src/phl/ecPhlLoopTx.ml)
Running[519]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlPrRw.cmo -c -impl src/phl/ecPhlPrRw.ml)
Running[520]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlSkip.cmo -c -impl src/phl/ecPhlSkip.ml)
Running[521]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlRnd.cmo -c -impl src/phl/ecPhlRnd.ml)
Running[522]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlSwap.cmo -c -impl src/phl/ecPhlSwap.ml)
Running[523]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlWhile.cmo -c -impl src/phl/ecPhlWhile.ml)
Running[524]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcUserMessages.cmx -c -impl src/ecUserMessages.ml)
Running[525]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcUserMessages.cmo -c -impl src/ecUserMessages.ml)
Running[526]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcPhlDeno.cmx -c -impl src/phl/ecPhlDeno.ml)
Running[527]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcPhlExists.cmx -c -impl src/phl/ecPhlExists.ml)
Running[528]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcPhlEqobs.cmx -c -impl src/phl/ecPhlEqobs.ml)
Running[529]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcPhlHiBdHoare.cmx -c -impl src/phl/ecPhlHiBdHoare.ml)
Running[530]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcPhlOutline.cmx -c -impl src/phl/ecPhlOutline.ml)
Running[531]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcPhlRewrite.cmx -c -impl src/phl/ecPhlRewrite.ml)
Running[532]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcPhlRwEquiv.cmx -c -impl src/phl/ecPhlRwEquiv.ml)
Running[533]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcPhlUpto.cmx -c -impl src/phl/ecPhlUpto.ml)
Running[534]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcHiTacticals.cmi -c -intf src/ecHiTacticals.mli)
Running[535]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlDeno.cmo -c -impl src/phl/ecPhlDeno.ml)
Running[536]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlExists.cmo -c -impl src/phl/ecPhlExists.ml)
Running[537]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlEqobs.cmo -c -impl src/phl/ecPhlEqobs.ml)
Running[538]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlHiBdHoare.cmo -c -impl src/phl/ecPhlHiBdHoare.ml)
Running[539]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlOutline.cmo -c -impl src/phl/ecPhlOutline.ml)
Running[540]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlRewrite.cmo -c -impl src/phl/ecPhlRewrite.ml)
Running[541]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlRwEquiv.cmo -c -impl src/phl/ecPhlRwEquiv.ml)
Running[542]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPhlUpto.cmo -c -impl src/phl/ecPhlUpto.ml)
Running[543]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcStrongRing.cmo -c -impl src/ecStrongRing.ml)
Running[544]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcStrongRing.cmx -c -impl src/ecStrongRing.ml)
Running[545]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcHiTacticals.cmx -c -impl src/ecHiTacticals.ml)
Running[546]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcHiTacticals.cmo -c -impl src/ecHiTacticals.ml)
Running[547]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamldep.opt -modules -impl src/ecParser.ml) > _build/default/src/.ecLib.objs/ecLib__EcParser.impl.d
Running[548]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamldep.opt -modules -intf src/ecParser.mli) > _build/default/src/.ecLib.objs/ecLib__EcParser.intf.d
Running[549]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcParser.cmi -c -intf src/ecParser.mli)
Running[550]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcIo.cmi -c -intf src/ecIo.mli)
Running[551]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcLexer.cmo -c -impl src/ecLexer.ml)
Running[552]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcCommands.cmx -c -impl src/ecCommands.ml)
Running[553]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcHiGoal.cmx -c -impl src/ecHiGoal.ml)
Running[554]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcLowGoal.cmx -c -impl src/ecLowGoal.ml)
Running[555]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcProofTerm.cmx -c -impl src/ecProofTerm.ml)
Running[556]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcPrinting.cmx -c -impl src/ecPrinting.ml)
Running[557]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcTerminal.cmx -c -impl src/ecTerminal.ml)
Running[558]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcTheoryReplay.cmx -c -impl src/ecTheoryReplay.ml)
Running[559]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcCommands.cmo -c -impl src/ecCommands.ml)
Running[560]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcHiGoal.cmo -c -impl src/ecHiGoal.ml)
Running[561]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcLowGoal.cmo -c -impl src/ecLowGoal.ml)
Running[562]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcProofTerm.cmo -c -impl src/ecProofTerm.ml)
Running[563]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcPrinting.cmo -c -impl src/ecPrinting.ml)
Running[564]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcTerminal.cmo -c -impl src/ecTerminal.ml)
Running[565]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcTheoryReplay.cmo -c -impl src/ecTheoryReplay.ml)
Running[566]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcLexer.cmx -c -impl src/ecLexer.ml)
Running[567]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcIo.cmx -c -impl src/ecIo.ml)
Running[568]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcScope.cmx -c -impl src/ecScope.ml)
Running[569]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcIo.cmo -c -impl src/ecIo.ml)
Running[570]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcScope.cmo -c -impl src/ecScope.ml)
Running[571]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ec.eobjs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -I src/.ecLib.objs/byte -no-alias-deps -opaque -o src/.ec.eobjs/byte/ec.cmi -c -intf src/ec.mli)
Running[572]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/native/ecLib__EcParser.cmx -c -impl src/ecParser.ml)
Running[573]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -bin-annot -I src/.ecLib.objs/byte -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -intf-suffix .ml -no-alias-deps -opaque -open EcLib -o src/.ecLib.objs/byte/ecLib__EcParser.cmo -c -impl src/ecParser.ml)
Running[574]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -I src/.ec.eobjs/byte -I src/.ec.eobjs/native -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries -I /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded -I /nix/store/cccd7f85hjyxm96xadf46mdyq4vhkwk9-seq-base/lib/ocaml/4.14.2/site-lib/seq -I /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib -I /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info -I /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3 -I /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams -I /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson -I /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site -I /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private -I src/.ecLib.objs/byte -I src/.ecLib.objs/native -intf-suffix .ml -no-alias-deps -opaque -o src/.ec.eobjs/native/ec.cmx -c -impl src/ec.ml)
Running[575]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlc.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -a -o src/ecLib.cma -dllib -lecLib_stubs -cclib -lecLib_stubs src/.ecLib.objs/byte/ecLib.cmo src/.ecLib.objs/byte/ecLib__EcUtils.cmo src/.ecLib.objs/byte/ecLib__EcRegexp.cmo src/.ecLib.objs/byte/ecLib__XDG.cmo src/.ecLib.objs/byte/ecLib__EcMaps.cmo src/.ecLib.objs/byte/ecLib__EcWhy3Conv.cmo src/.ecLib.objs/byte/ecLib__EcVersion.cmo src/.ecLib.objs/byte/ecLib__EcBigIntCore.cmo src/.ecLib.objs/byte/ecLib__EcBigInt.cmo src/.ecLib.objs/byte/ecLib__EcSymbols.cmo src/.ecLib.objs/byte/ecLib__EcUid.cmo src/.ecLib.objs/byte/ecLib__EcIdent.cmo src/.ecLib.objs/byte/ecLib__EcPath.cmo src/.ecLib.objs/byte/ecLib__EcAst.cmo src/.ecLib.objs/byte/ecLib__EcCoreLib.cmo src/.ecLib.objs/byte/ecLib__EcTypes.cmo src/.ecLib.objs/byte/ecLib__EcMemory.cmo src/.ecLib.objs/byte/ecLib__EcCoreFol.cmo src/.ecLib.objs/byte/ecLib__EcCoreModules.cmo src/.ecLib.objs/byte/ecLib__EcModules.cmo src/.ecLib.objs/byte/ecLib__EcCoreSubst.cmo src/.ecLib.objs/byte/ecLib__EcTypeClass.cmo src/.ecLib.objs/byte/ecLib__EcDecl.cmo src/.ecLib.objs/byte/ecLib__EcBaseLogic.cmo src/.ecLib.objs/byte/ecLib__EcGState.cmo src/.ecLib.objs/byte/ecLib__EcInductive.cmo src/.ecLib.objs/byte/ecLib__EcPException.cmo src/.ecLib.objs/byte/ecLib__EcTheory.cmo src/.ecLib.objs/byte/ecLib__EcSubst.cmo src/.ecLib.objs/byte/ecLib__EcEnv.cmo src/.ecLib.objs/byte/ecLib__EcFol.cmo src/.ecLib.objs/byte/ecLib__EcGenRegexp.cmo src/.ecLib.objs/byte/ecLib__EcLocation.cmo src/.ecLib.objs/byte/ecLib__EcUFind.cmo src/.ecLib.objs/byte/ecLib__EcUnify.cmo src/.ecLib.objs/byte/ecLib__EcReduction.cmo src/.ecLib.objs/byte/ecLib__EcMatching.cmo src/.ecLib.objs/byte/ecLib__EUnix.cmo src/.ecLib.objs/byte/ecLib__EcProvers.cmo src/.ecLib.objs/byte/ecLib__EcParsetree.cmo src/.ecLib.objs/byte/ecLib__EcCorePrinting.cmo src/.ecLib.objs/byte/ecLib__EcParser.cmo src/.ecLib.objs/byte/ecLib__EcLexer.cmo src/.ecLib.objs/byte/ecLib__EcIo.cmo src/.ecLib.objs/byte/ecLib__EcPrinting.cmo src/.ecLib.objs/byte/ecLib__EcTransMatching.cmo src/.ecLib.objs/byte/ecLib__EcTyping.cmo src/.ecLib.objs/byte/ecLib__EcCoreGoal.cmo src/.ecLib.objs/byte/ecLib__EcHiInductive.cmo src/.ecLib.objs/byte/ecLib__EcHiNotations.cmo src/.ecLib.objs/byte/ecLib__EcHiPredicates.cmo src/.ecLib.objs/byte/ecLib__EcCallbyValue.cmo src/.ecLib.objs/byte/ecLib__EcSmt.cmo src/.ecLib.objs/byte/ecLib__EcCoq.cmo src/.ecLib.objs/byte/ecLib__EcPV.cmo src/.ecLib.objs/byte/ecLib__EcLowPhlGoal.cmo src/.ecLib.objs/byte/ecLib__EcProofTyping.cmo src/.ecLib.objs/byte/ecLib__EcProofTerm.cmo src/.ecLib.objs/byte/ecLib__EcLowGoal.cmo src/.ecLib.objs/byte/ecLib__EcSection.cmo src/.ecLib.objs/byte/ecLib__EcThCloning.cmo src/.ecLib.objs/byte/ecLib__EcUserMessages.cmo src/.ecLib.objs/byte/ecLib__EcUnifyProc.cmo src/.ecLib.objs/byte/ecLib__EcTheoryReplay.cmo src/.ecLib.objs/byte/ecLib__EcLoader.cmo src/.ecLib.objs/byte/ecLib__EcEco.cmo src/.ecLib.objs/byte/ecLib__EcRing.cmo src/.ecLib.objs/byte/ecLib__EcField.cmo src/.ecLib.objs/byte/ecLib__EcAlgebra.cmo src/.ecLib.objs/byte/ecLib__EcAlgTactic.cmo src/.ecLib.objs/byte/ecLib__EcPhlTAuto.cmo src/.ecLib.objs/byte/ecLib__EcPhlConseq.cmo src/.ecLib.objs/byte/ecLib__EcPhlCoreView.cmo src/.ecLib.objs/byte/ecLib__EcPhlPr.cmo src/.ecLib.objs/byte/ecLib__EcPhlRnd.cmo src/.ecLib.objs/byte/ecLib__EcPhlSkip.cmo src/.ecLib.objs/byte/ecLib__EcPhlWp.cmo src/.ecLib.objs/byte/ecLib__EcPhlAuto.cmo src/.ecLib.objs/byte/ecLib__EcPhlPrRw.cmo src/.ecLib.objs/byte/ecLib__EcHiGoal.cmo src/.ecLib.objs/byte/ecLib__EcPhlApp.cmo src/.ecLib.objs/byte/ecLib__EcPhlBdHoare.cmo src/.ecLib.objs/byte/ecLib__EcPhlFun.cmo src/.ecLib.objs/byte/ecLib__EcPhlCall.cmo src/.ecLib.objs/byte/ecLib__EcPhlCase.cmo src/.ecLib.objs/byte/ecLib__EcPhlCodeTx.cmo src/.ecLib.objs/byte/ecLib__EcPhlDeno.cmo src/.ecLib.objs/byte/ecLib__EcPhlEager.cmo src/.ecLib.objs/byte/ecLib__EcPhlEqobs.cmo src/.ecLib.objs/byte/ecLib__EcPhlExists.cmo src/.ecLib.objs/byte/ecLib__EcPhlFel.cmo src/.ecLib.objs/byte/ecLib__EcPhlRCond.cmo src/.ecLib.objs/byte/ecLib__EcPhlCond.cmo src/.ecLib.objs/byte/ecLib__EcPhlHiAuto.cmo src/.ecLib.objs/byte/ecLib__EcPhlHiBdHoare.cmo src/.ecLib.objs/byte/ecLib__EcPhlHiCond.cmo src/.ecLib.objs/byte/ecLib__EcPhlInline.cmo src/.ecLib.objs/byte/ecLib__EcPhlLoopTx.cmo src/.ecLib.objs/byte/ecLib__EcPhlTrans.cmo src/.ecLib.objs/byte/ecLib__EcPhlOutline.cmo src/.ecLib.objs/byte/ecLib__EcPhlRewrite.cmo src/.ecLib.objs/byte/ecLib__EcPhlSym.cmo src/.ecLib.objs/byte/ecLib__EcPhlRwEquiv.cmo src/.ecLib.objs/byte/ecLib__EcPhlSp.cmo src/.ecLib.objs/byte/ecLib__EcPhlSwap.cmo src/.ecLib.objs/byte/ecLib__EcPhlUpto.cmo src/.ecLib.objs/byte/ecLib__EcPhlWhile.cmo src/.ecLib.objs/byte/ecLib__EcStrongRing.cmo src/.ecLib.objs/byte/ecLib__EcHiTacticals.cmo src/.ecLib.objs/byte/ecLib__EcProcSem.cmo src/.ecLib.objs/byte/ecLib__EcSearch.cmo src/.ecLib.objs/byte/ecLib__EcScope.cmo src/.ecLib.objs/byte/ecLib__EcCommands.cmo src/.ecLib.objs/byte/ecLib__EcTerminal.cmo src/.ecLib.objs/byte/ecLib__EcDuneSites.cmo src/.ecLib.objs/byte/ecLib__EcRelocate.cmo src/.ecLib.objs/byte/ecLib__EcOptions.cmo)
Running[576]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -a -o src/ecLib.cmxa -cclib -lecLib_stubs src/.ecLib.objs/native/ecLib.cmx src/.ecLib.objs/native/ecLib__EcUtils.cmx src/.ecLib.objs/native/ecLib__EcRegexp.cmx src/.ecLib.objs/native/ecLib__XDG.cmx src/.ecLib.objs/native/ecLib__EcMaps.cmx src/.ecLib.objs/native/ecLib__EcWhy3Conv.cmx src/.ecLib.objs/native/ecLib__EcVersion.cmx src/.ecLib.objs/native/ecLib__EcBigIntCore.cmx src/.ecLib.objs/native/ecLib__EcBigInt.cmx src/.ecLib.objs/native/ecLib__EcSymbols.cmx src/.ecLib.objs/native/ecLib__EcUid.cmx src/.ecLib.objs/native/ecLib__EcIdent.cmx src/.ecLib.objs/native/ecLib__EcPath.cmx src/.ecLib.objs/native/ecLib__EcAst.cmx src/.ecLib.objs/native/ecLib__EcCoreLib.cmx src/.ecLib.objs/native/ecLib__EcTypes.cmx src/.ecLib.objs/native/ecLib__EcMemory.cmx src/.ecLib.objs/native/ecLib__EcCoreFol.cmx src/.ecLib.objs/native/ecLib__EcCoreModules.cmx src/.ecLib.objs/native/ecLib__EcModules.cmx src/.ecLib.objs/native/ecLib__EcCoreSubst.cmx src/.ecLib.objs/native/ecLib__EcTypeClass.cmx src/.ecLib.objs/native/ecLib__EcDecl.cmx src/.ecLib.objs/native/ecLib__EcBaseLogic.cmx src/.ecLib.objs/native/ecLib__EcGState.cmx src/.ecLib.objs/native/ecLib__EcInductive.cmx src/.ecLib.objs/native/ecLib__EcPException.cmx src/.ecLib.objs/native/ecLib__EcTheory.cmx src/.ecLib.objs/native/ecLib__EcSubst.cmx src/.ecLib.objs/native/ecLib__EcEnv.cmx src/.ecLib.objs/native/ecLib__EcFol.cmx src/.ecLib.objs/native/ecLib__EcGenRegexp.cmx src/.ecLib.objs/native/ecLib__EcLocation.cmx src/.ecLib.objs/native/ecLib__EcUFind.cmx src/.ecLib.objs/native/ecLib__EcUnify.cmx src/.ecLib.objs/native/ecLib__EcReduction.cmx src/.ecLib.objs/native/ecLib__EcMatching.cmx src/.ecLib.objs/native/ecLib__EUnix.cmx src/.ecLib.objs/native/ecLib__EcProvers.cmx src/.ecLib.objs/native/ecLib__EcParsetree.cmx src/.ecLib.objs/native/ecLib__EcCorePrinting.cmx src/.ecLib.objs/native/ecLib__EcParser.cmx src/.ecLib.objs/native/ecLib__EcLexer.cmx src/.ecLib.objs/native/ecLib__EcIo.cmx src/.ecLib.objs/native/ecLib__EcPrinting.cmx src/.ecLib.objs/native/ecLib__EcTransMatching.cmx src/.ecLib.objs/native/ecLib__EcTyping.cmx src/.ecLib.objs/native/ecLib__EcCoreGoal.cmx src/.ecLib.objs/native/ecLib__EcHiInductive.cmx src/.ecLib.objs/native/ecLib__EcHiNotations.cmx src/.ecLib.objs/native/ecLib__EcHiPredicates.cmx src/.ecLib.objs/native/ecLib__EcCallbyValue.cmx src/.ecLib.objs/native/ecLib__EcSmt.cmx src/.ecLib.objs/native/ecLib__EcCoq.cmx src/.ecLib.objs/native/ecLib__EcPV.cmx src/.ecLib.objs/native/ecLib__EcLowPhlGoal.cmx src/.ecLib.objs/native/ecLib__EcProofTyping.cmx src/.ecLib.objs/native/ecLib__EcProofTerm.cmx src/.ecLib.objs/native/ecLib__EcLowGoal.cmx src/.ecLib.objs/native/ecLib__EcSection.cmx src/.ecLib.objs/native/ecLib__EcThCloning.cmx src/.ecLib.objs/native/ecLib__EcUserMessages.cmx src/.ecLib.objs/native/ecLib__EcUnifyProc.cmx src/.ecLib.objs/native/ecLib__EcTheoryReplay.cmx src/.ecLib.objs/native/ecLib__EcLoader.cmx src/.ecLib.objs/native/ecLib__EcEco.cmx src/.ecLib.objs/native/ecLib__EcRing.cmx src/.ecLib.objs/native/ecLib__EcField.cmx src/.ecLib.objs/native/ecLib__EcAlgebra.cmx src/.ecLib.objs/native/ecLib__EcAlgTactic.cmx src/.ecLib.objs/native/ecLib__EcPhlTAuto.cmx src/.ecLib.objs/native/ecLib__EcPhlConseq.cmx src/.ecLib.objs/native/ecLib__EcPhlCoreView.cmx src/.ecLib.objs/native/ecLib__EcPhlPr.cmx src/.ecLib.objs/native/ecLib__EcPhlRnd.cmx src/.ecLib.objs/native/ecLib__EcPhlSkip.cmx src/.ecLib.objs/native/ecLib__EcPhlWp.cmx src/.ecLib.objs/native/ecLib__EcPhlAuto.cmx src/.ecLib.objs/native/ecLib__EcPhlPrRw.cmx src/.ecLib.objs/native/ecLib__EcHiGoal.cmx src/.ecLib.objs/native/ecLib__EcPhlApp.cmx src/.ecLib.objs/native/ecLib__EcPhlBdHoare.cmx src/.ecLib.objs/native/ecLib__EcPhlFun.cmx src/.ecLib.objs/native/ecLib__EcPhlCall.cmx src/.ecLib.objs/native/ecLib__EcPhlCase.cmx src/.ecLib.objs/native/ecLib__EcPhlCodeTx.cmx src/.ecLib.objs/native/ecLib__EcPhlDeno.cmx src/.ecLib.objs/native/ecLib__EcPhlEager.cmx src/.ecLib.objs/native/ecLib__EcPhlEqobs.cmx src/.ecLib.objs/native/ecLib__EcPhlExists.cmx src/.ecLib.objs/native/ecLib__EcPhlFel.cmx src/.ecLib.objs/native/ecLib__EcPhlRCond.cmx src/.ecLib.objs/native/ecLib__EcPhlCond.cmx src/.ecLib.objs/native/ecLib__EcPhlHiAuto.cmx src/.ecLib.objs/native/ecLib__EcPhlHiBdHoare.cmx src/.ecLib.objs/native/ecLib__EcPhlHiCond.cmx src/.ecLib.objs/native/ecLib__EcPhlInline.cmx src/.ecLib.objs/native/ecLib__EcPhlLoopTx.cmx src/.ecLib.objs/native/ecLib__EcPhlTrans.cmx src/.ecLib.objs/native/ecLib__EcPhlOutline.cmx src/.ecLib.objs/native/ecLib__EcPhlRewrite.cmx src/.ecLib.objs/native/ecLib__EcPhlSym.cmx src/.ecLib.objs/native/ecLib__EcPhlRwEquiv.cmx src/.ecLib.objs/native/ecLib__EcPhlSp.cmx src/.ecLib.objs/native/ecLib__EcPhlSwap.cmx src/.ecLib.objs/native/ecLib__EcPhlUpto.cmx src/.ecLib.objs/native/ecLib__EcPhlWhile.cmx src/.ecLib.objs/native/ecLib__EcStrongRing.cmx src/.ecLib.objs/native/ecLib__EcHiTacticals.cmx src/.ecLib.objs/native/ecLib__EcProcSem.cmx src/.ecLib.objs/native/ecLib__EcSearch.cmx src/.ecLib.objs/native/ecLib__EcScope.cmx src/.ecLib.objs/native/ecLib__EcCommands.cmx src/.ecLib.objs/native/ecLib__EcTerminal.cmx src/.ecLib.objs/native/ecLib__EcDuneSites.cmx src/.ecLib.objs/native/ecLib__EcRelocate.cmx src/.ecLib.objs/native/ecLib__EcOptions.cmx)
Running[577]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -o src/ec.exe -linkall /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num/nums.cmxa -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num -I /nix/store/vzbdzw6mxnz7y41spwr4qai7infc135i-num-1.5-1/lib/ocaml/4.14.2/site-lib/num /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/str.cmxa -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml /nix/store/napppincg6c48iwdqdkhzn2k6dyha9xy-camlp-streams-5.0.1/lib/ocaml/4.14.2/site-lib/camlp-streams/camlp_streams.cmxa /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/unix.cmxa -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/bigarray.cmxa -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/unthreaded/batteries_unthreaded.cmxa /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/threads/threads.cmxa -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml /nix/store/bydf4dbjb4w4rq36s96hl787qc0zbbd3-batteries-3.9.0/lib/ocaml/4.14.2/site-lib/batteries/batteries.cmxa src/.ec.eobjs/native/build_info__Build_info_data.cmx /nix/store/lvwvpdxqjqgwylbcimydprhh8k10n1dx-dune-build-info-3.17.1/lib/ocaml/4.14.2/site-lib/dune-build-info/build_info.cmxa /nix/store/x6m1lrnv2g72dmsj19xxzjf35jxq64j1-dune-private-libs-3.17.1/lib/ocaml/4.14.2/site-lib/dune-private-libs/dune-section/dune_section.cmxa /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/private/dune_site_private.cmxa src/.ec.eobjs/native/dune_site__Dune_site_data.cmx /nix/store/zkk5lpivmfgmdahg8nhi4y2xiyg0dazv-dune-site-3.17.1/lib/ocaml/4.14.2/site-lib/dune-site/dune_site.cmxa /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre/pcre.cmxa -I /nix/store/1zn188nimsz4izjyl2jcn01n93cp765r-pcre-8.0.2/lib/ocaml/4.14.2/site-lib/pcre /nix/store/pg9zs6yfn4lagdwy7zsql970hvkskwg8-ocaml-inifiles-1.2/lib/ocaml/4.14.2/site-lib/inifiles/inifiles.cmxa /nix/store/kqvv98xiziq2d6x7dayfy6d4gf81qnmr-menhirLib-20240715/lib/ocaml/4.14.2/site-lib/menhirLib/menhirLib.cmxa /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml/dynlink.cmxa -I /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/lib/ocaml /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip/zip.cmxa -I /nix/store/7r8ygw60rh9fn4sj3j8vp5l1vmvlz2xm-camlzip-1.13/lib/ocaml/4.14.2/site-lib/zip /nix/store/n2p35k76gnzj9wqsn70j4vvg2qly68ig-why3-1.7.2/lib/ocaml/4.14.2/site-lib/why3/why3.cmxa /nix/store/nvb8l0zx875ff0iqml5dgzrj390wrvbx-yojson-2.2.2/lib/ocaml/4.14.2/site-lib/yojson/yojson.cmxa /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith/zarith.cmxa -I /nix/store/0n5i1gxmplkihab5z7f3gxsslcjy1bgj-zarith-1.14/lib/ocaml/4.14.2/site-lib/zarith src/ecLib.cmxa -I src src/.ec.eobjs/native/ec.cmx)
Running[578]: (cd _build/default && /nix/store/yyrc0ndqqsj7ggnfbiax649f5pdshlyg-ocaml-base-compiler-4.14.2/bin/ocamlopt.opt -w @[email protected]@31..39@[email protected]@[email protected]@67@69-40 -strict-sequence -strict-formats -short-paths -keep-locs -rectypes -warn-error -a+31 -w +28+33-9-23-32-58-67-69 -g -shared -linkall -I src -o src/ecLib.cmxs src/ecLib.cmxa)
Promoting "_build/default/src/ec.exe" to "src/ec.exe"
Command exited with code 1.            
-> required by _build/default/src/ec.exe
-> required by alias src/all
-> required by alias default

@oskgo
Copy link
Contributor

oskgo commented Jan 16, 2025

I've checked that the lockfiles are ignored properly at least, and I've also made sure that the compilation error is a regression by failing to reproduce the error on an older commit.

Maybe I can ask someone else with an M1 Mac on Zulip to try reproducing the error. I think Charlotte might have an M2, but Alley has an M1 IIRC.

@strub
Copy link
Member Author

strub commented Jan 17, 2025

Merging this PR. We can continue the discussion on Zulip.

@strub strub merged commit fc44784 into main Jan 17, 2025
15 checks passed
@strub strub deleted the runtest-ignore-emacs-lock-files branch January 17, 2025 02:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees

@strub strub

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

make check checks .#Theory.ec emacs lock files
2 participants
@strub @oskgo